621. Mathematical SETI
پدیدآورنده: \ Claudio Maccone
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Astrophysics -- Mathematics,Astrophysics -- Data processing, ف‍ی‍زی‍ک ن‍ج‍وم‍ی -- ریاضیات,ف‍ی‍زی‍ک ن‍ج‍وم‍ی -- داده پردازی
رده :
E-Book
,
622. Mathematical applications of electronic spreadsheets
پدیدآورنده: Arganbright, Deane
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Data processing ، Mathematics,، Electronic spreadsheets
رده :
QA
76
.
95
.
A7
1985
623. Mathematical aspects of computer science
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory-- Addresses, essays, lectures,، Electronic data processing-- Mathematics-- Addresses, essays, lectures
رده :
QA
76
.
S895
1966
624. Mathematical excursions to the world's great buildings
پدیدآورنده: / Alexander Hahn
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع: Architecture--Mathematics,Architectural design.,Architecture--Data processing.
رده :
NA2750
625. Mathematical foundations of computer science 1988: proceedings of the 13th symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Electronic data processing-- Mathematics
رده :
QA
76
.
9
.
M35
.
S95
1988
626. Mathematical foundations of scientific visualization, computer graphics, and massive data exploration
پدیدآورنده: Torsten Moller, Bernd Hamann, Robert D. Russell, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Mathematical models -- Congresses ، Electronic data processing,Congresses ، Computer algorithms,Mathematical models -- Congresses ، Information visualization,Mathematical models -- Congresses ، Computer graphics
رده :
QA
76
.
9
.
M35
M38
2009
627. Mathematical knowledge management
پدیدآورنده: / Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Mathematics--Data processing--Congresses,Information storage and retrieval systems--Mathematics--Congresses,Automatic theorem proving--Congresses
رده :
QA
,
76
.
95
,.
I565
,
2003
628. Mathematical logic and computability
پدیدآورنده: Keisler, H. Jerome.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Mathematics ، Electronic data processing,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
K45
1996
629. Mathematical logic and computability
پدیدآورنده: Keisler, H. Jerome
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Electronic data processing,، Algebra
رده :
QA
9
.
K45
630. Mathematical logic and theoretical computer science
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Electronic data processing,، Algebra
رده :
QA
9
.
2
.
M35
1987
631. Mathematical logic for computer science
پدیدآورنده: Lu, Chung-wan.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Electronic data processing - Mathematics , Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
L8
1989
632. Mathematical logic for computer science
پدیدآورنده: Lu, Chung-wan
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Mathematics ، Electronic data processing,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
.
L8
1989
633. Mathematical methods for artificial intelligence and autonomous systems /
پدیدآورنده: Edward R. Dougherty, Charles R. Giardina.,Dougherty, Edward R.
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Artificial intelligence,Artificial intelligence,Data processing.,Mathematics.
رده :
Q336
634. Mathematical software
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic data processing-- Mathematics-- Congresses,، Electronic data processing-- Numerical analysis-- Congressses
رده :
QA
1
.
M766
635. Mathematical software III :proceedings of a symposium conducted by the Mathematics Research Center, the University of Wisconsin--Madison, March 28-30, 1977
پدیدآورنده: edited by John R. Rice
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: Data processing Congresses ، Numerical analysis,Data processing Congresses ، Mathematics
رده :
QA
297
.
U45
1977
636. Mathematical theories of distributed sensor networks /
پدیدآورنده: Sitharama S. Iyengar, Koanoosh G. Boroojeni, N. Balakrishnan
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Energy consumption-- Mathematical models.,Mathematical optimization.,Sensor networks-- Mathematical models.
رده :
TK7872
.
D48
637. Mathematical tools for data mining :
پدیدآورنده: Dan A. Simovici, Chabane Djeraba
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Data mining.,Metric spaces.,Partially ordered sets.,Set theory.
رده :
QA76
.
9
.
D343
S595
2014
638. Mathematics and Computation in Music
پدیدآورنده: \ Tom Collins , David Meredith, Anja Volk (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Music -- Mathematics -- Congresses.,Computer Appl. in Arts and Humanities.,Music -- Data processing -- Congresses,موسیقی -- ریاضیات -- کنگره ها,موسیقی -- داده پردازی -- کنگره ها
رده :
ML
3800
.
M32
2015
E-Book
,
639. Mathematics & computing:with fortran programming
پدیدآورنده: DORN,WILLIAM S
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ELECTRONIC DATA PROCESSING-MATHEMATICS , FORTRAN )COMPUTER PROGRAM LANGUAGE(
رده :
QA
76
.
5
.
D67
640. Mathematics for computer algebra
پدیدآورنده: / Maurice Mignotte
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Algebra- Data processing
رده :
QA155
.
7
.
E4
,
M5213
1991
